px4_add_module(
	MODULE modules__time_os
	SRCS
		time_os.c
		time.c
		work_queue.c
	)
